"Per Martin-Lof" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

Per Martin-Lof

2.35 Mb

#2

Epistemology versus Ontology: Essays on the philosophy and foundations of mathematics in honour of Per Martin-Lof

Editors: P Dybjer, S Lindstrom, E Palmgren and G Sundholm

Категория: Philosophy of mathematics, mathematical logic

33.02 Mb

#3

An intuitionistic type theory

Категория: Mathematical logic

473 Kb

#4

Intuitionistic type theory

Per Martin-Lof

318 Kb

#5

Truth and Knowability, on the principles C and K of MIcheal Dummett

Категория: Philosophy

4.32 Mb